Some results concerning finite models for sentential calculi.
نویسندگان
چکیده
منابع مشابه
On Two Notions concerning the Structural Sentential Calculi
For any structural sentential calculus (L,C) and sentential language L, similar to L, we put Θo C = {C ′|C ′ is a structural consequence operation on Lo satisfying: A ∈ C(X) only if eA ∈ C ′(eX), all X ∪ {A} ⊆ L and e ∈ Hom(L,Lo)}. Let us recall the following Definition (R. Wójciciki, see III §in [4]). Let (L,C) be structural and Lo be a sentential language similar to L. The projection of (L,C)...
متن کاملSome Empirical Results Concerning Deontic Reasoning: Models, Schema, or Both?
Herein, we explore the psychology of deontic reasoning through the presentation of a heterogeneous natural logic combining inference schemas with a preferencebased model-theoretic semantics such as those typically found in various formalisms for nonmonotonic reasoning. We conjecture that the heterogeneous approach is a generalization of various other hypotheses concerning deontic reasoning, and...
متن کاملSome Results concerning Pythagorean Triplets
By using a computer program devised by M. Creutz, we were able to determine all Pythagoeran triplets for which z ^ 300. At this point, a distinction must must be made between P-triplets for which x9 y9 and z have no common divisor [the so-called "primitive solutions" of (1)] and P-triplets which are related to the primitive solutions by multiplication by a common integer factor k. So, if Xi9y^9...
متن کاملglobal results on some nonlinear partial differential equations for direct and inverse problems
در این رساله به بررسی رفتار جواب های رده ای از معادلات دیفرانسیل با مشتقات جزیی در دامنه های کراندار می پردازیم . این معادلات به فرم نیم-خطی و غیر خطی برای مسایل مستقیم و معکوس مورد مطالعه قرار می گیرند . به ویژه، تاثیر شرایط مختلف فیزیکی را در مساله، نظیر وجود موانع و منابع، پراکندگی و چسبندگی در معادلات موج و گرما بررسی می کنیم و به دنبال شرایطی می گردیم که متضمن وجود سراسری یا عدم وجود سراسر...
Some Results concerning Best Uniform Coapproximation
This paper provides some conditions to obtain best uniform coapproximation. Some error estimates are determined. A relation between interpolation and best uniform coapproximation is exhibited. Continuity properties of selections for the metric projection and the cometric projection are studied.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1972
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093890623